"Laura Crosilla" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Volume 48)

Laura Crosilla, Peter Schuster

Категория: Математика, Геометрия и топология

1.62 Mb

#2

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Laura Crosilla, Peter Schuster

5.27 Mb

#3

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides)

Laura Crosilla, Peter Schuster

5.40 Mb